home *** CD-ROM | disk | FTP | other *** search
- <?xml version="1.0"?>
-
- <?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
-
- <!DOCTYPE prefwindow SYSTEM "chrome://tabscope/locale/prefs.dtd">
-
- <prefwindow id="tabscopePrefWindow"
- xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
- title="Tab Scope &tabscope.options;"
- onunload="shutdown();">
-
- <prefpane id="generalPane" flex="1">
- <preferences>
- <preference id="extensions.tabscope.popup_alignment" name="extensions.tabscope.popup_alignment" type="int" />
- <preference id="extensions.tabscope.popup_delay" name="extensions.tabscope.popup_delay" type="int" />
- <preference id="extensions.tabscope.continuously" name="extensions.tabscope.continuously" type="bool" />
- <preference id="extensions.tabscope.current_tab" name="extensions.tabscope.current_tab" type="bool" inverted="true" />
- <preference id="extensions.tabscope.show_title" name="extensions.tabscope.show_title" type="bool" />
- <preference id="extensions.tabscope.preview_width" name="extensions.tabscope.preview_width" type="int" />
- <preference id="extensions.tabscope.preview_height" name="extensions.tabscope.preview_height" type="int" />
- <preference id="extensions.tabscope.preview_scale" name="extensions.tabscope.preview_scale" type="int" />
- <preference id="extensions.tabscope.preview_width.2" name="extensions.tabscope.preview_width.2" type="int" />
- <preference id="extensions.tabscope.preview_height.2" name="extensions.tabscope.preview_height.2" type="int" />
- <preference id="extensions.tabscope.preview_scale.2" name="extensions.tabscope.preview_scale.2" type="int" />
- </preferences>
- <hbox align="center">
- <label value="&tabscope.popup_alignment;:" />
- <menulist preference="extensions.tabscope.popup_alignment">
- <menupopup>
- <menuitem label="&tabscope.popup_alignment.top;" value="1" />
- <menuitem label="&tabscope.popup_alignment.bottom;" value="2" />
- <menuitem label="&tabscope.popup_alignment.left;" value="3" />
- <menuitem label="&tabscope.popup_alignment.right;" value="4" />
- </menupopup>
- </menulist>
- </hbox>
- <hbox align="center">
- <label value="&tabscope.popup_delay.1;:" />
- <textbox preference="extensions.tabscope.popup_delay" size="8" />
- <label value="&tabscope.popup_delay.2;" />
- </hbox>
- <checkbox label="&tabscope.continuously;" preference="extensions.tabscope.continuously" />
- <checkbox label="&tabscope.current_tab;" preference="extensions.tabscope.current_tab" />
- <checkbox label="&tabscope.show_title;" preference="extensions.tabscope.show_title" />
- <spacer height="8" />
- <groupbox>
- <caption label="&tabscope.preview_size; (1)" />
- <grid>
- <columns>
- <column />
- <column />
- </columns>
- <rows>
- <row align="center">
- <label value="&tabscope.preview_width;:" />
- <textbox preference="extensions.tabscope.preview_width" maxlength="3" />
- </row>
- <row align="center">
- <label value="&tabscope.preview_height;:" />
- <textbox preference="extensions.tabscope.preview_height" maxlength="3" />
- </row>
- <row align="center">
- <label value="&tabscope.preview_scale;:" />
- <menulist preference="extensions.tabscope.preview_scale">
- <menupopup>
- <menuitem label="&tabscope.preview_scale.fit;" value="0" />
- <menuseparator />
- <menuitem label="10%" value="10" />
- <menuitem label="20%" value="20" />
- <menuitem label="30%" value="30" />
- <menuitem label="40%" value="40" />
- <menuitem label="50%" value="50" />
- <menuitem label="60%" value="60" />
- <menuitem label="70%" value="70" />
- <menuitem label="80%" value="80" />
- <menuitem label="90%" value="90" />
- <menuitem label="100%" value="100" />
- </menupopup>
- </menulist>
- </row>
- </rows>
- </grid>
- </groupbox>
- <groupbox>
- <caption label="&tabscope.preview_size; (2)" />
- <grid>
- <columns>
- <column />
- <column />
- </columns>
- <rows>
- <row align="center">
- <label value="&tabscope.preview_width;:" />
- <textbox preference="extensions.tabscope.preview_width.2" maxlength="3" />
- </row>
- <row align="center">
- <label value="&tabscope.preview_height;:" />
- <textbox preference="extensions.tabscope.preview_height.2" maxlength="3" />
- </row>
- <row align="center">
- <label value="&tabscope.preview_scale;:" />
- <menulist preference="extensions.tabscope.preview_scale.2">
- <menupopup>
- <menuitem label="&tabscope.preview_scale.fit;" value="0" />
- <menuseparator />
- <menuitem label="10%" value="10" />
- <menuitem label="20%" value="20" />
- <menuitem label="30%" value="30" />
- <menuitem label="40%" value="40" />
- <menuitem label="50%" value="50" />
- <menuitem label="60%" value="60" />
- <menuitem label="70%" value="70" />
- <menuitem label="80%" value="80" />
- <menuitem label="90%" value="90" />
- <menuitem label="100%" value="100" />
- </menupopup>
- </menulist>
- </row>
- </rows>
- </grid>
- </groupbox>
- </prefpane>
-
- <script type="application/x-javascript"><![CDATA[
- const Cc = Components.classes;
- const Ci = Components.interfaces;
- function shutdown() {
- var winMgr = Cc["@mozilla.org/appshell/window-mediator;1"].getService(Ci.nsIWindowMediator);
- var winEnum = winMgr.getEnumerator("navigator:browser");
- while (winEnum.hasMoreElements()) {
- var win = winEnum.getNext().QueryInterface(Ci.nsIDOMWindow);
- var elts = win.document.getElementsByAttribute("class", "tabscope");
- Array.forEach(elts, function(elt) {
- elt.readPrefs();
- });
- }
- }
- ]]></script>
-
- </prefwindow>
-